and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
131	Preprints of the Federated Conference on Computer Science and Information Systems pp. 1559–1568 Synthesised Constraint Models for Distributed Energy Management Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang R Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:10 Software engineering Computer programming Applied mathematics Constraint satisfaction Linear programming Economic model Multi-objective optimization Constraint inference Constraint programming Operations research Mathematical optimization
132	Weak models of data consistency Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed ”Mirage” [3] which compiles complex applicat Add to Reading List Source URL: thomas.gazagnaire.org Language: English - Date: 2013-11-18 12:09:12 Functional languages OCaml Caml International Conference on Functional Programming ML Virtual machine Cloud computing Reactive programming International Conference on Architectural Support for Programming Languages and Operating Systems Computing Software engineering Computer programming
133	1 Bayesian Logic Programming: Theory and Tool Kristian Kersting Institute for Computer Science, Machine Learning Lab Albert-Ludwigs-Universit¨ Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-02-02 14:16:03 Graphical models Networks Philosophy of science Probability and statistics Science Bayesian network Markov random field Bayesian probability Conditional independence Bayesian statistics Statistics Probability theory
134	Reinforcement Learning in POMDPs Without Resets Eyal Even-Dar Sham M. Kakade School of Computer Science Computer and Information Science University of Pennsylvania Tel-Aviv University Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 15:37:28 Dynamic programming Stochastic control Markov models Partially observable Markov decision process Markov decision process Markov chain Reinforcement learning Statistics Markov processes Control theory
135	Stream Reasoning in DyKnow: A Knowledge Processing Middleware System? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping Univers Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 05:58:43 Inter-process communication Software engineering Computer programming Computer data Stream Flow-based programming Computing Programming paradigms Models of computation
136	Stream-Based Reasoning in DyKnow? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:31:51 Inter-process communication Software engineering Computer programming Computer data Stream Computing Programming paradigms Models of computation
137	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.comp.leeds.ac.uk Language: English - Date: 2008-08-18 09:29:21 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
138	Genetic Programming James McDermott and Una-May O’Reilly Evolutionary Design and Optimization Group, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachuse Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2012-12-21 11:02:30 Cybernetics Mathematical optimization Computer science Models of computation Theoretical computer science Genetic programming Genetic algorithm Evolutionary computation Machine learning Applied mathematics Evolutionary algorithms Mathematics
139	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Computer Science Institute, Goethe-University, Frankfurt am Main, Germany Email: {sabel,schauss}@ki.informatik.uni-frankfurt.de Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-27 17:17:43 Applied mathematics Computing Logic in computer science Models of computation Combinatory logic Lambda calculus Monad Π-calculus Lambda Software engineering Functional programming Theoretical computer science
140	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.di.uniba.it Language: English - Date: 2008-10-06 05:35:01 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics

UPDATE